class MPException extends RuntimeException {
	static final long serialVersionUID = 1;
	MPException(String m) {
		System.err.println("ERROR: "+m);
	}
	public static void error(String m) {
		throw new MPException("Illegal operation: "+m);
	}
}